Relativization of correctness